Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
391	When is Na¨ıve Evaluation Possible? Amelie ´ Gheerbrant Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:18:09 Model theory Database theory Conjunctive query Modal logic Null Structure Kripke semantics FO Closed world assumption Logic Mathematics Mathematical logic
392	Knowledge Preconditions for Plans Ernest Davis Courant Institute New York, New York Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2004-01-06 13:23:35 Epistemology Omniscience Philosophy Science Mind Modal logic Non-classical logic Philosophical logic
393	cressaid_terms_and_conditions Add to Reading List Source URL: www.cressaid.com.au Language: English - Date: 2014-10-09 21:45:54 Philosophical logic Non-classical logic Abstraction Axiology Copyright Internet Relay Chat X Window System Modal logic Invoice Software Science Logic
394	AISB 2008 Convention Communication, Interaction and Social Intelligence 1st-4th April 2008 University of Aberdeen Add to Reading List Source URL: aisb.org.uk Language: English - Date: 2008-03-16 16:15:52 Formal sciences Mathematical logic Abstraction Axiology Epistemic modal logic Common knowledge Temporal logic Game theory Logic Science Artificial intelligence
395	FALLINSIDE THIS ISSUE FLASH OVER SUBSTANCE Is the medium still the message? Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2013-10-07 10:00:07 Marshall McLuhan Social psychology Science Logic Nonverbal communication Modal logic
396	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logic programming Formal languages Logical syntax Well-formed formula Autoepistemic logic Logical connective Modal depth Propositional variable First-order logic Logic Mathematical logic Modal logic
397	CrossMark_Color_Stacked_p Add to Reading List Source URL: www.yorku.ca Language: English - Date: 2013-11-05 10:40:03 Critical thinking Justification Edmund Gettier Gettier problem Intuition Belief Theory of justification Epistemic modal logic Epistemology Knowledge Philosophy
398	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-25 07:04:51 Modal logic Proof theory Boolean algebra Functions and mappings Propositional calculus Provable Provability logic Function Default logic Mathematical logic Logic Mathematics
399	Considerations on Belief Revision in an Action Theory James Delgrande School of Computing Science Simon Fraser University Burnaby BC, V5A 1S6, Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:45:43 Belief revision Knowledge representation Μ operator Modal logic Multiplicative order Proposition Linear temporal logic Logic Science Modular arithmetic
400	Proceedings of the ESSLLI 2014 Student Session 26th European Summer School in Logic, Language & Information August 11–22, 2014, Tübingen, Germany Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2014-08-26 09:50:28 Monoidal categories Quantum mechanics Dagger categories Non-classical logic Categorical quantum mechanics Quantum logic Logic Modal logic David Hilbert Category theory Mathematics Algebra

UPDATE